[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 172 176 175 175 236 218 182

N.S.

1 1.00 1.00 1.02 1.02 1.02 1.37 1.27 1.06

time (sec)

N/A 0.127 0.058 4.084 0.227 0.288 0.033 0.287 0.105

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 130 135 134 134 173 165 143

N.S.

1 1.00 1.00 1.04 1.03 1.03 1.33 1.27 1.10

time (sec)

N/A 0.085 0.043 3.295 0.196 0.270 0.028 0.285 5.171

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 96 94 93 93 121 114 99

N.S.

1 1.00 1.02 1.00 0.99 0.99 1.29 1.21 1.05

time (sec)

N/A 0.060 0.025 3.378 0.299 0.273 0.024 0.280 0.048

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 53 52 52 63 62 54

N.S.

1 1.00 1.00 0.95 0.93 0.93 1.12 1.11 0.96

time (sec)

N/A 0.025 0.009 0.183 0.252 0.271 0.020 0.285 0.051

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 72 74 0 191 206 82 108

N.S.

1 1.00 0.89 0.91 0.00 2.36 2.54 1.01 1.33

time (sec)

N/A 0.055 0.036 3.279 0.000 0.291 0.315 0.300 0.118

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 95 97 0 318 190 103 95

N.S.

1 1.00 0.88 0.90 0.00 2.94 1.76 0.95 0.88

time (sec)

N/A 0.056 0.044 3.272 0.000 0.292 0.685 0.285 0.169

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 130 132 0 471 246 142 136

N.S.

1 1.00 1.00 1.02 0.00 3.62 1.89 1.09 1.05

time (sec)

N/A 0.075 0.053 3.270 0.000 0.314 1.389 0.303 5.463

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 171 163 0 642 313 195 176

N.S.

1 1.00 1.00 0.95 0.00 3.75 1.83 1.14 1.03

time (sec)

N/A 0.116 0.067 3.295 0.000 0.290 2.979 0.280 0.194

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 226 226 237 236 236 304 289 233

N.S.

1 1.00 1.00 1.05 1.04 1.04 1.35 1.28 1.03

time (sec)

N/A 0.142 0.056 3.304 0.193 0.257 0.035 0.290 5.470

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 158 169 168 168 216 202 158

N.S.

1 1.00 1.00 1.07 1.06 1.06 1.37 1.28 1.00

time (sec)

N/A 0.110 0.038 3.426 0.202 0.249 0.031 0.295 0.073

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 96 100 100 100 121 114 99

N.S.

1 1.00 1.02 1.06 1.06 1.06 1.29 1.21 1.05

time (sec)

N/A 0.056 0.021 3.306 0.202 0.250 0.024 0.292 0.047

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 115 170 0 366 347 182 203

N.S.

1 1.00 0.81 1.20 0.00 2.58 2.44 1.28 1.43

time (sec)

N/A 0.144 0.041 3.303 0.000 0.273 0.523 0.287 5.295

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 134 182 0 552 483 203 257

N.S.

1 1.00 0.82 1.11 0.00 3.37 2.95 1.24 1.57

time (sec)

N/A 0.153 0.063 3.314 0.000 0.296 1.278 0.293 0.164

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 183 230 0 777 400 252 243

N.S.

1 1.00 0.88 1.11 0.00 3.75 1.93 1.22 1.17

time (sec)

N/A 0.158 0.081 3.282 0.000 0.280 6.092 0.317 5.450

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 242 289 0 1024 0 330 303

N.S.

1 1.00 1.01 1.20 0.00 4.27 0.00 1.38 1.26

time (sec)

N/A 0.177 0.097 3.313 0.000 0.274 0.000 0.293 5.390

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 310 310 339 326 326 423 409 335

N.S.

1 1.00 1.00 1.09 1.05 1.05 1.36 1.32 1.08

time (sec)

N/A 0.207 0.076 3.387 0.194 0.244 0.041 0.279 0.118

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 226 226 244 239 239 304 289 233

N.S.

1 1.00 1.00 1.08 1.06 1.06 1.35 1.28 1.03

time (sec)

N/A 0.139 0.057 3.275 0.216 0.327 0.045 0.298 5.181

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 130 144 146 146 173 165 143

N.S.

1 1.00 1.00 1.11 1.12 1.12 1.33 1.27 1.10

time (sec)

N/A 0.095 0.034 3.332 0.185 0.254 0.028 0.338 5.172

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 179 300 0 586 508 313 312

N.S.

1 1.00 0.79 1.32 0.00 2.58 2.24 1.38 1.37

time (sec)

N/A 0.240 0.059 3.307 0.000 0.264 0.850 0.307 5.411

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 176 308 0 834 661 334 389

N.S.

1 1.00 0.73 1.27 0.00 3.45 2.73 1.38 1.61

time (sec)

N/A 0.267 0.088 3.428 0.000 0.270 2.225 0.304 5.506

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 219 344 0 1102 865 389 495

N.S.

1 1.00 0.75 1.18 0.00 3.79 2.97 1.34 1.70

time (sec)

N/A 0.271 0.106 3.354 0.000 0.287 58.357 0.299 0.227

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 348 295 417 0 1422 0 475 444

N.S.

1 1.00 0.85 1.20 0.00 4.09 0.00 1.36 1.28

time (sec)

N/A 0.282 0.132 3.372 0.000 0.293 0.000 0.323 5.660

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

544 544 373 695 0 463 0 0 0

N.S.

1 1.00 0.69 1.28 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.447 3.132 5.006 0.000 0.104 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 267 431 0 305 0 0 0

N.S.

1 1.00 0.70 1.13 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.239 1.602 4.441 0.000 0.107 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 283 212 312 0 191 0 0 0

N.S.

1 1.00 0.75 1.10 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.119 1.422 5.026 0.000 0.099 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 192 328 0 223 0 0 0

N.S.

1 1.00 0.71 1.21 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.113 2.513 3.328 0.000 0.099 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 274 297 518 0 515 0 0 0

N.S.

1 1.00 1.08 1.89 0.00 1.88 0.00 0.00 0.00

time (sec)

N/A 0.137 3.527 3.450 0.000 0.101 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

385 385 379 756 0 1105 0 0 0

N.S.

1 1.00 0.98 1.96 0.00 2.87 0.00 0.00 0.00

time (sec)

N/A 0.255 3.864 3.502 0.000 0.133 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

543 543 372 695 0 465 0 0 0

N.S.

1 1.00 0.69 1.28 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.421 3.165 4.915 0.000 0.098 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 400 275 448 0 318 0 0 0

N.S.

1 1.00 0.69 1.12 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.273 3.099 6.167 0.000 0.095 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 369 248 544 0 416 0 0 0

N.S.

1 1.00 0.67 1.47 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.260 4.841 7.384 0.000 0.099 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

373 373 296 559 0 561 0 0 0

N.S.

1 1.00 0.79 1.50 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.256 5.581 4.504 0.000 0.107 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

376 376 382 749 0 1040 0 0 0

N.S.

1 1.00 1.02 1.99 0.00 2.77 0.00 0.00 0.00

time (sec)

N/A 0.271 5.997 4.566 0.000 0.138 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

531 531 545 1023 0 1847 0 0 0

N.S.

1 1.00 1.03 1.93 0.00 3.48 0.00 0.00 0.00

time (sec)

N/A 0.416 6.470 4.561 0.000 0.174 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

551 551 386 691 0 489 0 0 0

N.S.

1 1.00 0.70 1.25 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.434 4.004 7.475 0.000 0.102 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

396 396 279 448 0 334 0 0 0

N.S.

1 1.00 0.70 1.13 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.284 3.086 6.117 0.000 0.094 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 282 215 312 0 201 0 0 0

N.S.

1 1.00 0.76 1.11 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.124 1.372 5.260 0.000 0.095 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 131 158 0 130 0 0 0

N.S.

1 1.00 0.64 0.77 0.00 0.63 0.00 0.00 0.00

time (sec)

N/A 0.068 2.589 3.357 0.000 0.085 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 206 334 0 254 0 0 0

N.S.

1 1.00 0.99 1.60 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.055 6.623 3.911 0.000 0.088 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 284 302 540 0 611 0 0 0

N.S.

1 1.00 1.06 1.90 0.00 2.15 0.00 0.00 0.00

time (sec)

N/A 0.142 9.140 5.563 0.000 0.110 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

401 401 393 760 0 1257 0 0 0

N.S.

1 1.00 0.98 1.90 0.00 3.13 0.00 0.00 0.00

time (sec)

N/A 0.283 10.226 6.752 0.000 0.142 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 501 369 794 0 648 0 0 0

N.S.

1 1.00 0.74 1.58 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.404 5.810 9.676 0.000 0.101 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

358 358 260 543 0 418 0 0 0

N.S.

1 1.00 0.73 1.52 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.244 4.875 7.410 0.000 0.093 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 258 208 378 0 239 0 0 0

N.S.

1 1.00 0.81 1.47 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.114 2.507 3.346 0.000 0.088 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 212 349 0 258 0 0 0

N.S.

1 1.00 1.01 1.67 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.058 6.870 3.906 0.000 0.099 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 272 262 515 0 618 0 0 0

N.S.

1 1.00 0.96 1.89 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.143 10.501 4.985 0.000 0.107 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

375 375 428 673 0 1259 0 0 0

N.S.

1 1.00 1.14 1.79 0.00 3.36 0.00 0.00 0.00

time (sec)

N/A 0.272 11.387 6.528 0.000 0.152 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 212 349 0 260 0 0 0

N.S.

1 1.00 1.01 1.67 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.065 6.628 3.912 0.000 0.094 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 220 349 0 257 0 0 0

N.S.

1 1.00 0.89 1.41 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.158 6.872 4.525 0.000 0.092 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 213 333 0 254 0 0 0

N.S.

1 1.00 0.90 1.41 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.152 6.753 4.510 0.000 0.092 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 221 338 0 257 0 0 0

N.S.

1 1.00 0.91 1.40 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.164 6.742 4.953 0.000 0.094 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 191 81 105 0 124 0 0 0

N.S.

1 1.00 0.42 0.55 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.068 2.358 3.100 0.000 0.087 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 142 282 0 181 0 0 0

N.S.

1 1.00 0.54 1.08 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.115 1.172 4.930 0.000 0.088 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 186 390 0 274 0 0 0

N.S.

1 1.00 0.52 1.10 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.223 1.223 4.852 0.000 0.094 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

113 113 104 2538 0 369 0 0 0

N.S.

1 1.00 0.92 22.46 0.00 3.27 0.00 0.00 0.00

time (sec)

N/A 0.135 2.417 3.717 0.000 0.110 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

526 526 100 2477 0 372 0 0 0

N.S.

1 1.00 0.19 4.71 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.340 2.387 1.368 0.000 0.099 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 141 115 0 777 0 0 0

N.S.

1 1.00 1.10 0.90 0.00 6.07 0.00 0.00 0.00

time (sec)

N/A 0.097 0.356 1.410 0.000 0.904 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 304 214 191 0 1718 0 0 0

N.S.

1 1.00 0.70 0.63 0.00 5.65 0.00 0.00 0.00

time (sec)

N/A 0.211 0.544 3.571 0.000 3.868 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 151 132 0 1111 0 0 0

N.S.

1 1.00 0.91 0.80 0.00 6.69 0.00 0.00 0.00

time (sec)

N/A 0.075 0.297 3.457 0.000 1.115 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 111 76 0 737 0 0 0

N.S.

1 1.00 1.22 0.84 0.00 8.10 0.00 0.00 0.00

time (sec)

N/A 0.038 0.231 3.349 0.000 0.788 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 70 41 0 241 0 70 0

N.S.

1 1.00 1.43 0.84 0.00 4.92 0.00 1.43 0.00

time (sec)

N/A 0.013 0.081 3.412 0.000 0.302 0.000 0.323 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 153 120 0 1305 0 165 0

N.S.

1 1.00 1.25 0.98 0.00 10.70 0.00 1.35 0.00

time (sec)

N/A 0.082 0.330 3.433 0.000 61.426 0.000 0.337 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 203 169 0 0 0 458 0

N.S.

1 1.00 1.00 0.83 0.00 0.00 0.00 2.26 0.00

time (sec)

N/A 0.177 15.335 3.564 0.000 0.000 0.000 4.547 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

608 776 456 657 0 0 0 0 0

N.S.

1 1.28 0.75 1.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.503 5.603 8.061 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 400 346 845 0 0 0 0 0

N.S.

1 1.00 0.86 2.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.192 3.985 8.397 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 321 184 340 0 0 0 0 0

N.S.

1 1.00 0.57 1.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.125 1.720 3.360 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 143 191 0 0 0 0 0

N.S.

1 1.00 1.40 1.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.022 1.714 3.365 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 347 390 0 0 0 0 0

N.S.

1 1.00 1.66 1.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.072 4.002 4.353 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

401 401 427 1366 0 0 0 0 0

N.S.

1 1.00 1.06 3.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 6.245 5.285 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

630 630 584 3138 0 0 0 0 0

N.S.

1 1.00 0.93 4.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.485 5.802 6.956 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

659 784 445 663 0 0 0 0 0

N.S.

1 1.19 0.68 1.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.512 6.650 7.950 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

403 403 739 845 0 0 0 0 0

N.S.

1 1.00 1.83 2.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.194 3.644 8.258 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

328 328 184 300 0 0 0 0 0

N.S.

1 1.00 0.56 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.130 3.232 3.457 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 224 492 630 0 0 0 0 0

N.S.

1 1.00 2.20 2.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 6.050 3.997 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

391 391 999 1645 0 0 0 0 0

N.S.

1 1.00 2.55 4.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.256 7.026 5.190 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

639 639 570 3112 0 0 0 0 0

N.S.

1 1.00 0.89 4.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.505 7.609 6.876 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

621 621 350 741 0 0 0 0 0

N.S.

1 1.00 0.56 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 4.802 8.404 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 319 197 341 0 0 0 0 0

N.S.

1 1.00 0.62 1.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.119 3.328 3.417 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 143 191 0 0 0 0 0

N.S.

1 1.00 1.40 1.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.023 1.669 3.339 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 101 118 0 0 0 0 0

N.S.

1 1.00 1.01 1.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.085 1.955 3.887 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 344 365 413 0 0 0 0 0

N.S.

1 1.00 1.06 1.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.143 4.222 5.058 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

435 435 433 1325 0 0 0 0 0

N.S.

1 1.00 1.00 3.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 6.330 6.551 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

980 980 352 1063 0 0 0 0 0

N.S.

1 1.00 0.36 1.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.714 6.826 4.210 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 304 594 0 0 0 0 0

N.S.

1 1.00 1.36 2.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.083 5.843 4.118 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 207 285 0 0 0 0 0

N.S.

1 1.00 0.99 1.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.072 3.384 4.250 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 344 221 303 0 0 0 0 0

N.S.

1 1.00 0.64 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.151 4.036 4.983 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

539 539 418 956 0 0 0 0 0

N.S.

1 1.00 0.78 1.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 8.126 6.595 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

814 814 1645 2127 0 0 0 0 0

N.S.

1 1.00 2.02 2.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.606 9.591 7.726 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 239 204 265 0 0 0 0 0

N.S.

1 0.99 0.84 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.099 2.334 6.699 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 78 121 0 0 0 0 0

N.S.

1 1.00 0.41 0.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.064 1.020 3.326 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 54 64 0 0 0 0 0

N.S.

1 1.00 0.93 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.013 1.938 3.344 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 78 147 0 0 0 0 0

N.S.

1 1.00 0.64 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.039 2.311 3.347 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 353 372 0 0 0 0 0

N.S.

1 1.00 1.64 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.098 3.084 4.234 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 134 293 0 0 0 0 0

N.S.

1 1.00 0.45 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.123 1.690 3.382 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 94 133 0 0 0 0 0

N.S.

1 1.00 1.01 1.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.025 1.549 3.355 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 53 0 0 0 0 0

N.S.

1 1.00 1.00 1.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.030 1.625 3.389 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 37 35 0 14 19 0 0

N.S.

1 1.00 1.03 0.97 0.00 0.39 0.53 0.00 0.00

time (sec)

N/A 0.019 0.464 3.599 0.000 0.080 1.919 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 131 100 0 513 0 329 0

N.S.

1 1.00 1.16 0.88 0.00 4.54 0.00 2.91 0.00

time (sec)

N/A 0.075 0.478 3.483 0.000 1.109 0.000 0.938 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 359 422 574 0 0 0 0 0

N.S.

1 1.00 1.18 1.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.218 3.318 3.397 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 401 559 0 0 0 0 0

N.S.

1 1.00 1.05 1.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 3.047 3.349 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]